
#include <config.h>

#ifdef CONFIG_HIMCI_V100
#include "himciv100_boot.S"
#endif
